((v1 v2 0) (v2 v3 5) (v3 v4 9) (v4 v5 8) (v5 v6 0) (v6 v7 5) (v7 v8 2) (v8 v9 1) (v9 v10 6) (v10 v11 3) (v11 v12 9) (v12 v13 4) (v13 v14 9) (v14 v1 0))
129
()